Adwaita: delete unused mixin

diff --git a/gtk/theme/Adwaita/_drawing.scss b/gtk/theme/Adwaita/_drawing.scss
index 206387efd79779b71a044937c8440dcf35fab657..49bdd434d45689e3646a729ccabba79bb657f332 100644 (file)
--- a/gtk/theme/Adwaita/_drawing.scss
+++ b/gtk/theme/Adwaita/_drawing.scss
@@ -480,32 +480,6 @@
   }
 }
 
-@mixin trough($flat:false, $c:$bg_color, $tc:$fg_color, $noedge:true) {
-  color: mix($tc, $bg_color, 80%);
-  @if $flat { background-image: linear-gradient(to bottom, $c); }
-  @else {
-    background-image: linear-gradient(to bottom,
-                                      mix(black,$c,15%) 5%,
-                                      mix(black,$c,10%) 20%,
-                                      mix(black,$c,10%) 90%,
-                                      $c);
-  }
-
-  border-color: if($c!=$bg_color, _border_color($c), $border_color);
-
-  @if not($noedge) {
-    @if lightness($c) > 60% {
-      box-shadow: inset 0 -1px $borders_edge,
-                  0 1px $borders_edge;
-    }
-    @else {
-      box-shadow: inset 0 -1px transparentize($borders_edge, 0.5),
-                  0 1px transparentize($borders_edge, 0.5);
-    }
-  }
-  @else { box-shadow: none; }
-}
-
 @mixin headerbar_fill($c:$headerbar_color, $hc:$top_hilight) {
 //
 // headerbar fill